oberer abgeschlossener Limes

верхний топологический предел (последовательности множеств)